Constraint inference

#	Item
51	Constraint Programming Prof. Dr. Thom Fr¨ uhwirth Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 2005-10-19 09:06:44 Computing Constraint logic programming Local consistency Logic programming Constraint Constraint satisfaction Constraint inference Constraint programming Software engineering Computer programming
52	Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080 Add to Reading List Source URL: www.proceedings2007.imcsit.org Language: English - Date: 2008-12-10 18:15:24 Software engineering Automated theorem proving Rules of inference Constraint programming Reasoning Prolog Horn clause Resolution Reasoning system Logic Artificial intelligence Logic programming